complete irreducible variety

完备不可约簇